On the notion of "von Neumann vicious circle" coined by John Backus
نویسنده
چکیده
“The von Neumann vicious circle” means that non-von Neumann computer architectures cannot be developed because of the lack of widely available and effective non-von Neumann languages. New languages cannot be created because of lack of conceptual foundations for non-von Neumann architectures. The reason is that programming languages are high-level abstract isomorphic copies of von Neumann computer architectures. This constitutes the cur-isomorphic copies of von Neumann computer architectures. This constitutes the current paradigm in Computer Science. The paradigm is equivalent to the predominant view that computations on higher order objects (functionals) can be done only symbolically, i.e. by term rewriting. The paper is a short introduction to the papers arxiv.org/abs/1501.03043 and arxiv.org/abs/1510.02787 trying to break the paradigm by introducing a framework that may be seen as a higher order HDL (Hardware Description Language).
منابع مشابه
Long Waiting Times for Elective Hospital Care – Breaking the Vicious Circle by Abandoning Prioritisation
Background Policies assigning low-priority patients treatment delays for care, in order to make room for patients of higher priority arriving later, are common in secondary healthcare services today. Alternatively, each new patient could be granted the first available appointment. We aimed to investigate whether prioritisation can be part of the reason why waiting times for care are often...
متن کاملCalculating Different Topological Indices of Von Neumann Regular Graph of Z_(p^α )
By the Von Neumann regular graph of R, we mean the graph that its vertices are all elements of R such that there is an edge between vertices x,y if and only if x+y is a von Neumann regular element of R, denoted by G_Vnr (R). For a commutative ring R with unity, x in R is called Von Neumann regular if there exists x in R such that a=a2 x. We denote the set of Von Neumann regular elements by V nr...
متن کاملCan Programming Be Liberated from von Neumann Style? A Functional Style and Its Algebra of Programs, 1977
The 1977 A C M Taring Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committee, made the following comments and read a portion of the final citation. The full announcement is in the September 1977 issue of C o m m u n i c a t i o n s , page 681. "Probably there is nobody in the room w...
متن کاملReiter’s Properties for the Actions of Locally Compact Quantum Goups on von Neumann Algebras
متن کامل
Quantum State Reduction: An Operational Approach
A rigorous theory of quantum state reduction, the state change of the measured system caused by a measurement conditional upon the outcome of measurement, is developed fully within quantum mechanics without leading to the vicious circle relative to the von Neumann chain. For the basis of the theory, the local measurement theorem provides the joint probability distribution for the outcomes of lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1602.02715 شماره
صفحات -
تاریخ انتشار 2016